<html>
<head><meta charset="utf-8"><title>meeting 2020.02.11 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html">meeting 2020.02.11</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="187928591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187928591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187928591">(Feb 11 2020 at 16:38)</a>:</h4>
<p>Hi! <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span>  Here's a preliminary update in case I'm not back home in time for when the meeting starts; I have managed to rebase my branch (as I said), and did run compiletest which did memory-out for at least one test. I had some failures but I don't have them here with me to report them</p>



<a name="187948358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187948358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187948358">(Feb 11 2020 at 19:59)</a>:</h4>
<p>Nope, I'm here!</p>



<a name="187948479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187948479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187948479">(Feb 11 2020 at 20:00)</a>:</h4>
<p>Ok, so I get this from ui-test:</p>
<div class="codehilite"><pre><span></span>failures:
    [ui (polonius)] ui/hrtb/hrtb-perfect-forwarding.rs
    [ui (polonius)] ui/nll/maybe-initialized-drop-implicit-fragment-drop.rs
    [ui (polonius)] ui/nll/maybe-initialized-drop-with-fragment.rs
    [ui (polonius)] ui/nll/maybe-initialized-drop-with-uninitialized-fragments.rs
    [ui (polonius)] ui/nll/outlives-suggestion-simple.rs
    [ui (polonius)] ui/numbers-arithmetic/saturating-float-casts.rs
    [ui (polonius)] ui/wrapping-int-combinations.rs
</pre></div>


<p>Which...doesn't look great.</p>



<a name="187948690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187948690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187948690">(Feb 11 2020 at 20:01)</a>:</h4>
<p>Ok, ui/wrapping-int-combinations.rs and ui/numbers-arithmetic/saturating-float-casts.rs exits with a KILL signal, weird. Maybe I'll have to rerun them.</p>



<a name="187948837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187948837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187948837">(Feb 11 2020 at 20:03)</a>:</h4>
<p>ui/nll/outlives-suggestion-simple.rs difference seems...cosmetic if I read it correctly</p>



<a name="187948850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187948850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187948850">(Feb 11 2020 at 20:03)</a>:</h4>
<p>Wave</p>



<a name="187948855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187948855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187948855">(Feb 11 2020 at 20:03)</a>:</h4>
<p>Howdy folks</p>



<a name="187948871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187948871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187948871">(Feb 11 2020 at 20:03)</a>:</h4>
<p>I've devoted less than zero brain time to polonius <span aria-label="cry" class="emoji emoji-1f622" role="img" title="cry">:cry:</span></p>



<a name="187948934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187948934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187948934">(Feb 11 2020 at 20:04)</a>:</h4>
<p>oooh, ok some of these look like actual errors</p>



<a name="187949039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949039">(Feb 11 2020 at 20:05)</a>:</h4>
<p>Anyway, Hi! :)</p>



<a name="187949053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949053">(Feb 11 2020 at 20:05)</a>:</h4>
<p>Hi :)</p>



<a name="187949082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949082">(Feb 11 2020 at 20:05)</a>:</h4>
<p>Any sense of what those errors are about?</p>



<a name="187949091"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949091" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949091">(Feb 11 2020 at 20:05)</a>:</h4>
<p>Many seem cosmetic</p>



<a name="187949158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949158">(Feb 11 2020 at 20:06)</a>:</h4>
<p>Two are non-reported errors, i.e Polonius doesn't report an expected error</p>



<a name="187949287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949287">(Feb 11 2020 at 20:07)</a>:</h4>
<p>Anyway, all the cosmetic error diffs are like this, which I assume means the small help text is either present or missing?</p>
<div class="codehilite"><pre><span></span>---- [ui (polonius)] ui/nll/outlives-suggestion-simple.rs stdout ----
diff of stderr:

72     |
73     = help: consider adding the following bound: `&#39;a: &#39;c`
74
+   help: add bound `&#39;a: &#39;b + &#39;c`
+
75  error: lifetime may not live long enough
76    --&gt; $DIR/outlives-suggestion-simple.rs:31:9
77     |
</pre></div>



<a name="187949318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949318">(Feb 11 2020 at 20:07)</a>:</h4>
<p>But ui/nll/maybe-initialized-drop-with-uninitialized-fragments.rs and ui/nll/maybe-initialized-drop-implicit-fragment-drop.rs apparently both compile under Polonius, and shouldn't</p>



<a name="187949328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949328">(Feb 11 2020 at 20:07)</a>:</h4>
<p>And I can't remember if that was expected behaviour</p>



<a name="187949393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949393">(Feb 11 2020 at 20:08)</a>:</h4>
<p>hmm</p>



<a name="187949407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949407">(Feb 11 2020 at 20:08)</a>:</h4>
<p>the cosmetic things seem fine</p>



<a name="187949408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949408">(Feb 11 2020 at 20:08)</a>:</h4>
<p>But I remember those as two inputs I actually used when I worked on Polonius</p>



<a name="187949415"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949415" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949415">(Feb 11 2020 at 20:08)</a>:</h4>
<p>not sure what's triggering that but doesn't seem like a big problem</p>



<a name="187949448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949448">(Feb 11 2020 at 20:09)</a>:</h4>
<blockquote>
<p>But ui/nll/maybe-initialized-drop-with-uninitialized-fragments.rs and ui/nll/maybe-initialized-drop-implicit-fragment-drop.rs apparently both compile under Polonius, and shouldn't</p>
</blockquote>
<p>these cases</p>



<a name="187949458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949458">(Feb 11 2020 at 20:09)</a>:</h4>
<p>so the <em>first</em> one</p>



<a name="187949477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949477">(Feb 11 2020 at 20:09)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/blob/95e0a2c50d063bd7eb79aa55d16cd5fee715c280/src/test/ui/nll/maybe-initialized-drop-with-uninitialized-fragments.rs#L23" target="_blank" title="https://github.com/rust-lang/rust/blob/95e0a2c50d063bd7eb79aa55d16cd5fee715c280/src/test/ui/nll/maybe-initialized-drop-with-uninitialized-fragments.rs#L23">note the FIXME</a></p>



<a name="187949486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949486">(Feb 11 2020 at 20:09)</a>:</h4>
<div class="codehilite"><pre><span></span>    // FIXME ^ This currently errors and it should not.
</pre></div>



<a name="187949503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949503">(Feb 11 2020 at 20:09)</a>:</h4>
<p>iow, I think this is polonius fixing a bug</p>



<a name="187949505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949505">(Feb 11 2020 at 20:09)</a>:</h4>
<p>Haha ok</p>



<a name="187949513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949513">(Feb 11 2020 at 20:09)</a>:</h4>
<p>Probably, yes</p>



<a name="187949534"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949534" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949534">(Feb 11 2020 at 20:09)</a>:</h4>
<p>I thought it was something like that</p>



<a name="187949595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949595">(Feb 11 2020 at 20:10)</a>:</h4>
<p>God why am I senile at 31</p>



<a name="187949600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949600">(Feb 11 2020 at 20:10)</a>:</h4>
<p>I think that might be the case for both, though the second is somewhat more interesting</p>



<a name="187949652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949652">(Feb 11 2020 at 20:10)</a>:</h4>
<p>well, actually, I think yeah they are both bugfixes</p>



<a name="187949674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949674">(Feb 11 2020 at 20:10)</a>:</h4>
<p>phew</p>



<a name="187949731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949731">(Feb 11 2020 at 20:11)</a>:</h4>
<p>interesting</p>



<a name="187949744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949744">(Feb 11 2020 at 20:11)</a>:</h4>
<p>does that suggest we can maybe merge your work soon? :)</p>



<a name="187949746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949746">(Feb 11 2020 at 20:11)</a>:</h4>
<p>But I should re-run the ones that were killed with signal 9</p>



<a name="187949752"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949752" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949752">(Feb 11 2020 at 20:11)</a>:</h4>
<p>oh yeah, that</p>



<a name="187949757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949757">(Feb 11 2020 at 20:11)</a>:</h4>
<p>that's less good :)</p>



<a name="187949759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949759">(Feb 11 2020 at 20:11)</a>:</h4>
<p>I...guess?</p>



<a name="187949796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949796">(Feb 11 2020 at 20:12)</a>:</h4>
<p>I mean, we don't have any good unit tests for Polonius, but this suggests that my code isn't too far off anyway</p>



<a name="187949856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949856">(Feb 11 2020 at 20:12)</a>:</h4>
<p>I see <span class="user-mention" data-user-id="258429">@Moritz Vetter</span> was interested in getting involved</p>



<a name="187949867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949867">(Feb 11 2020 at 20:12)</a>:</h4>
<p>(I'm skimming some of the older messages)</p>



<a name="187949904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949904">(Feb 11 2020 at 20:12)</a>:</h4>
<p>I was wondering whether they can help here but maybe not the best starting place</p>



<a name="187949985"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187949985" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187949985">(Feb 11 2020 at 20:13)</a>:</h4>
<p>Hmm, I wonder if we can find some part that sort of touches many things without being impossible to start with</p>



<a name="187950092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950092">(Feb 11 2020 at 20:14)</a>:</h4>
<p>given how much bandwidth we have</p>



<a name="187950100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950100">(Feb 11 2020 at 20:14)</a>:</h4>
<p>I think we should be <em>laser focused</em> on one thing at a time</p>



<a name="187950109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950109">(Feb 11 2020 at 20:15)</a>:</h4>
<p>to that end, I think the next step is landing your PR</p>



<a name="187950111"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950111" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950111">(Feb 11 2020 at 20:15)</a>:</h4>
<p>that makes sense</p>



<a name="187950117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950117">(Feb 11 2020 at 20:15)</a>:</h4>
<p>maybe we should take some notes on the PR as to the status</p>



<a name="187950131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950131">(Feb 11 2020 at 20:15)</a>:</h4>
<p>I can do that!</p>



<a name="187950133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950133">(Feb 11 2020 at 20:15)</a>:</h4>
<p>and in particular which things are next to investigate?</p>



<a name="187950143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950143">(Feb 11 2020 at 20:15)</a>:</h4>
<p>seems like the <code>-9</code> kills tests, basically?</p>



<a name="187950149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950149">(Feb 11 2020 at 20:15)</a>:</h4>
<p>I'll re-run the tests and write something up</p>



<a name="187950155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950155">(Feb 11 2020 at 20:15)</a>:</h4>
<p>Yes, and that might have been me</p>



<a name="187950158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950158">(Feb 11 2020 at 20:15)</a>:</h4>
<p>that would be awesome</p>



<a name="187950166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950166">(Feb 11 2020 at 20:15)</a>:</h4>
<p>Or my OS, I don't know</p>



<a name="187950181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950181">(Feb 11 2020 at 20:15)</a>:</h4>
<p>Also, there are already notes in the PR for next steps!</p>



<a name="187950231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950231">(Feb 11 2020 at 20:16)</a>:</h4>
<p>But they could be more detailed; I'll take care of that</p>



<a name="187950285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950285">(Feb 11 2020 at 20:17)</a>:</h4>
<p>I'll also make sure my Rust PR is rustfmt:d etc</p>



<a name="187950319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950319">(Feb 11 2020 at 20:17)</a>:</h4>
<p>But would we consider passing the compiletests to be sufficient testing of the PR?</p>



<a name="187950329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950329">(Feb 11 2020 at 20:17)</a>:</h4>
<p>I would</p>



<a name="187950402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950402">(Feb 11 2020 at 20:18)</a>:</h4>
<p>it's the only real test suite we've got, right?</p>



<a name="187950426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950426">(Feb 11 2020 at 20:18)</a>:</h4>
<p>side note that I've been toying with different ways to represent "roadmaps"</p>



<a name="187950430"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950430" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950430">(Feb 11 2020 at 20:18)</a>:</h4>
<p>I guess</p>



<a name="187950444"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950444" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950444">(Feb 11 2020 at 20:18)</a>:</h4>
<p>Aha! Non-zero brain time!</p>



<a name="187950450"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950450" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950450">(Feb 11 2020 at 20:18)</a>:</h4>
<p>(I think for this group it could be really helpful to make a roadmap, I at least find it hard to remembevr what's going on 99% of the time)</p>



<a name="187950470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950470">(Feb 11 2020 at 20:19)</a>:</h4>
<p>Err, yes, apparently me too</p>



<a name="187950474"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950474" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950474">(Feb 11 2020 at 20:19)</a>:</h4>
<p>well, I'm working on something I hope to use for <a class="stream" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits">#wg-traits</a> but I think it'd apply here</p>



<a name="187950483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950483">(Feb 11 2020 at 20:19)</a>:</h4>
<p>I guess we'll validate it there first</p>



<a name="187950784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950784">(Feb 11 2020 at 20:22)</a>:</h4>
<p>I think that sounds good; my long-term ambition is to calibrate my life to have more time for Polonius, I just haven't managed the calibration yet which means I now have less time, which means there is no rush to have a better plan as far as I am concerned. It sounds like <span class="user-mention" data-user-id="116113">@lqd</span> also isn't currently at peak efficiency from what I've heard</p>



<a name="187950855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950855">(Feb 11 2020 at 20:23)</a>:</h4>
<p>/me hopes everything is ok</p>



<a name="187950860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950860">(Feb 11 2020 at 20:23)</a>:</h4>
<p>I have to admit</p>



<a name="187950867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950867">(Feb 11 2020 at 20:23)</a>:</h4>
<p>I'm really wanting to narrow my range of activities</p>



<a name="187950883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950883">(Feb 11 2020 at 20:23)</a>:</h4>
<p>and polonius has been on my list of "maybe I should try to step back from this", at least for a while</p>



<a name="187950899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950899">(Feb 11 2020 at 20:24)</a>:</h4>
<p>not that I'm doing a lot :)</p>



<a name="187950948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950948">(Feb 11 2020 at 20:24)</a>:</h4>
<p>an alternative (for all of us) might be</p>



<a name="187950951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950951">(Feb 11 2020 at 20:24)</a>:</h4>
<p>I really enjoyed the polonius sprint</p>



<a name="187950966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950966">(Feb 11 2020 at 20:24)</a>:</h4>
<p>Ok, so I guess that means we should either make sure someone else can drive, or maybe redirect us to something else?</p>



<a name="187950973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950973">(Feb 11 2020 at 20:24)</a>:</h4>
<p>I wonder if an alternative might be saying something like "we can't do work on polonius on a weekly basis but"</p>



<a name="187950992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187950992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187950992">(Feb 11 2020 at 20:24)</a>:</h4>
<blockquote>
<p>Ok, so I guess that means we should either make sure someone else can drive, or maybe redirect us to something else?</p>
</blockquote>
<p>I mean realistically <span class="user-mention" data-user-id="116113">@lqd</span> has been driving anyway :)</p>



<a name="187951000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187951000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187951000">(Feb 11 2020 at 20:24)</a>:</h4>
<p>but yeah that is the question</p>



<a name="187951007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187951007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187951007">(Feb 11 2020 at 20:24)</a>:</h4>
<blockquote>
<p>I wonder if an alternative might be saying something like "we can't do work on polonius on a weekly basis but"</p>
</blockquote>
<p>I was going to say, but maybe we can do like a "sprint per quarter"</p>



<a name="187951022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187951022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187951022">(Feb 11 2020 at 20:25)</a>:</h4>
<blockquote>
<p>/me hopes everything is ok</p>
</blockquote>
<p>Oh yes, maybe I came off as more dramatic than I meant to</p>



<a name="187951048"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187951048" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187951048">(Feb 11 2020 at 20:25)</a>:</h4>
<p>That might also be a good idea</p>



<a name="187951052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187951052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187951052">(Feb 11 2020 at 20:25)</a>:</h4>
<p>I could see trying to clear 3-5 mornings per week every few months and try to push over a next hill</p>



<a name="187951074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187951074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187951074">(Feb 11 2020 at 20:25)</a>:</h4>
<p>yeah, it's an interesting idea</p>



<a name="187951094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187951094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187951094">(Feb 11 2020 at 20:25)</a>:</h4>
<p>I hadn't really thought it before ;)</p>



<a name="187951498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187951498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187951498">(Feb 11 2020 at 20:30)</a>:</h4>
<p>That might be an option</p>



<a name="187951567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187951567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187951567">(Feb 11 2020 at 20:31)</a>:</h4>
<p>I'm curious what <span class="user-mention" data-user-id="116113">@lqd</span> thinks</p>



<a name="187951880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187951880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187951880">(Feb 11 2020 at 20:34)</a>:</h4>
<p>(sorry I'm a bit ill, I'll have to read this tomorrow)</p>



<a name="187951908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187951908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187951908">(Feb 11 2020 at 20:35)</a>:</h4>
<p>(and reply, of course :)</p>



<a name="187952318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187952318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187952318">(Feb 11 2020 at 20:40)</a>:</h4>
<p>Aww, get well soon!</p>



<a name="187988398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/187988398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#187988398">(Feb 12 2020 at 07:56)</a>:</h4>
<p>It seems the tests still error with signal 9, I think that's my OS OOM killer</p>



<a name="188000158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/188000158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#188000158">(Feb 12 2020 at 11:09)</a>:</h4>
<p>(backscrolling) both the saturating float casts and wrapping int are the OOM tests</p>



<a name="188000211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/188000211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#188000211">(Feb 12 2020 at 11:10)</a>:</h4>
<p>you won't be able to run them again :)</p>



<a name="188000416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/188000416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#188000416">(Feb 12 2020 at 11:13)</a>:</h4>
<p>I don't think we have settled on a "real" plan to fix those fact generation OOMs, avoiding materializing the data in rustc wouldn't be much help if we end up materializing them in polonius when evaluating the datafrog rules. Also all those are cases of equal origins, so the "equality" alternative rules work could tackle avoiding the problem in fact generation, but unclear as of yet if it won't also just move the OOMs from rustc to polonius</p>



<a name="188000617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/188000617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#188000617">(Feb 12 2020 at 11:16)</a>:</h4>
<p>yeah I'm not at peak efficiency, I can't easily work at home atm because of laptop issues, and had approximately zero time at work during lunchbreaks...</p>



<a name="188001041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/188001041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#188001041">(Feb 12 2020 at 11:23)</a>:</h4>
<p>"we can't do work on polonius on a weekly basis but" + "a short sprint every few months" sounds good to me. polonius work isn't easily findable/distributable right now, since it's mostly exploratory apart from what is "already in the roadmap". That is, the move/init errors Albin is working on, and which we should land fast. It's prone to conflicts as it has a bunch of renaming work, and it seems the approach follows what what designed during the last sprint.</p>



<a name="188001101"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/188001101" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#188001101">(Feb 12 2020 at 11:24)</a>:</h4>
<p>(in a sense it has already bitrotted once)</p>



<a name="188001240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/188001240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#188001240">(Feb 12 2020 at 11:27)</a>:</h4>
<p>if the rustc changes in the PR mostly look good to Niko or Matthew it'd be great to land them soon, and iterate on details afterwards, with less risks of conflicts</p>



<a name="188001666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/188001666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#188001666">(Feb 12 2020 at 11:33)</a>:</h4>
<p>when we've done that we'll have, I think, completed some if not all the biggest chunks of integration work (illegal use errors, illegal subset errors, move/init errors) we set out to do (somewhat close to achieving our first goal, of completeness). And -- including membership constraints, and higher ranked concerns involving chalk which is itself another huge integration topic altogether -- it seems ongoing work would be mostly exploratory as I mentioned.</p>



<a name="188002449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/188002449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#188002449">(Feb 12 2020 at 11:45)</a>:</h4>
<p>in summary, I think we should quickly land the move errors work, the sooner the better -- and then reconvene to update the roadmap (writing new roadmap items would also be exploratory) even though I'm slightly concerned about whether we'd be able to execute much of the new items with our collective lack of time, and possible dependence on chalk, say, but at least it will provide possible directions for new contributors in general.</p>



<a name="188002986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.02.11/near/188002986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E02.2E11.html#188002986">(Feb 12 2020 at 11:53)</a>:</h4>
<p>(and the idea of doing more sprint-like focused work, but more infrequently, and the rest of the time helping out elsewhere where work is needed in the project, sounds good of course :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>